signature INTERP_STRUCTS =
sig
  structure Ast : AST
end

signature INTERP =
sig
  include INTERP_STRUCTS
  
  val top : Ast.Program.t -> unit
end
